αXPAREN {⊗↔

αXDEFINE SEC⊗↔
αi\sectionbegin[αβ⊗↓

αXDEFINE SUB⊗↔
αi\subsectionbegin[αβ⊗↓

αXDEFINE CENT⊗↔
αi\centerit{αk⊗↔αdα⊗=αdαk⊗↔}⊗↔αβ⊗↓

αXDEFINE ∩⊗↔
αβ⊗↔{\tt\nofillα⊗↔⊗↔αβ⊗↓

αXDEFINE ∪⊗↔
αβ⊗↔\endnofill}⊗↔α⊗↔⊗↔αβ⊗↓

αXDEFINE ⊂⊗↔
αi\scommαk⊗↔⊗↔αβ⊗↓

αXDEFINE ⊃⊗↔
αi\ecommαk⊗↔⊗↔⊗↔αβ⊗↓

αXDEFINE %⊗↔
β%β ⊗↔αβ⊗↓

αXDEFINE NUM⊗↔
αi\numlistentry[αβ⊗↓

αXDEFINE HDD⊗↔
αi\hddlistentry[αβ⊗↓

αXDEFINE UNN⊗↔
αi\unnlistentry{αβ⊗↓

αXDEFINE BUL⊗↔
αi\bullistentry{αβ⊗↓

αXDEFINE Q⊗↔
αxf "αβ\``⊗↔α*'β'αβ⊗↓

αXDEFINE IND⊗↔
αxf .ind αβ\\index{⊗↔α⊗=}αβ⊗↓